Skip to content

Fix CI#855

Merged
antoyo merged 1 commit intomasterfrom
fix/ci
Feb 21, 2026
Merged

Fix CI#855
antoyo merged 1 commit intomasterfrom
fix/ci

Conversation

@antoyo
Copy link
Copy Markdown
Contributor

@antoyo antoyo commented Feb 21, 2026

No description provided.

@antoyo antoyo force-pushed the fix/ci branch 2 times, most recently from 1fbfd8a to a3c8a9c Compare February 21, 2026 16:15
@antoyo antoyo changed the title WIP: Fix CI Fix CI Feb 21, 2026
@antoyo antoyo enabled auto-merge February 21, 2026 16:50
@antoyo antoyo merged commit 2640671 into master Feb 21, 2026
38 checks passed
@antoyo antoyo deleted the fix/ci branch February 21, 2026 16:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant